Issue1815.agda:20,24-25
Set !=< (R2 _A_11)
when checking that the expression A has type R2 _A_11
